<svg width="1310" height="115" xmlns="http://www.w3.org/2000/svg" xmlns:svg="http://www.w3.org/2000/svg">
 <g>
  <title>callgraph-info</title>
  <style>
    .small { font: italic 15px sans-serif; }
  </style>
  <line id="edge_1" y2="77" x2="101" y1="32" x1="101" stroke-linecap="null" stroke-linejoin="null" stroke-dasharray="null" stroke-width="2" stroke="#000000" fill="none"/>
  <line id="edge_2" y2="77" x2="101" y1="32" x1="101" stroke-linecap="null" stroke-linejoin="null" stroke-dasharray="null" stroke-width="2" stroke="#000000" fill="none"/>
  <line id="edge_3" y2="77" x2="101" y1="32" x1="257" stroke-linecap="null" stroke-linejoin="null" stroke-dasharray="null" stroke-width="2" stroke="#000000" fill="none"/>
  <line id="edge_4" y2="77" x2="393" y1="32" x1="393" stroke-linecap="null" stroke-linejoin="null" stroke-dasharray="null" stroke-width="2" stroke="#000000" fill="none"/>
  <line id="edge_5" y2="77" x2="393" y1="32" x1="393" stroke-linecap="null" stroke-linejoin="null" stroke-dasharray="null" stroke-width="2" stroke="#000000" fill="none"/>
  <line id="edge_6" y2="77" x2="949" y1="32" x1="393" stroke-linecap="null" stroke-linejoin="null" stroke-dasharray="null" stroke-width="2" stroke="#000000" fill="none"/>
  <line id="edge_7" y2="77" x2="786" y1="32" x1="393" stroke-linecap="null" stroke-linejoin="null" stroke-dasharray="null" stroke-width="2" stroke="#000000" fill="none"/>
  <line id="edge_8" y2="77" x2="836" y1="32" x1="393" stroke-linecap="null" stroke-linejoin="null" stroke-dasharray="null" stroke-width="2" stroke="#000000" fill="none"/>
  <line id="edge_9" y2="77" x2="552" y1="32" x1="393" stroke-linecap="null" stroke-linejoin="null" stroke-dasharray="null" stroke-width="2" stroke="#000000" fill="none"/>
  <line id="edge_10" y2="77" x2="552" y1="32" x1="393" stroke-linecap="null" stroke-linejoin="null" stroke-dasharray="null" stroke-width="2" stroke="#000000" fill="none"/>
  <line id="edge_11" y2="77" x2="393" y1="32" x1="704" stroke-linecap="null" stroke-linejoin="null" stroke-dasharray="null" stroke-width="2" stroke="#000000" fill="none"/>
  <line id="edge_12" y2="77" x2="949" y1="32" x1="704" stroke-linecap="null" stroke-linejoin="null" stroke-dasharray="null" stroke-width="2" stroke="#000000" fill="none"/>
  <line id="edge_13" y2="77" x2="786" y1="32" x1="704" stroke-linecap="null" stroke-linejoin="null" stroke-dasharray="null" stroke-width="2" stroke="#000000" fill="none"/>
  <line id="edge_14" y2="77" x2="836" y1="32" x1="704" stroke-linecap="null" stroke-linejoin="null" stroke-dasharray="null" stroke-width="2" stroke="#000000" fill="none"/>
  <line id="edge_15" y2="77" x2="552" y1="32" x1="704" stroke-linecap="null" stroke-linejoin="null" stroke-dasharray="null" stroke-width="2" stroke="#000000" fill="none"/>
  <line id="edge_16" y2="77" x2="949" y1="32" x1="1067" stroke-linecap="null" stroke-linejoin="null" stroke-dasharray="null" stroke-width="2" stroke="#000000" fill="none"/>
  <line id="edge_17" y2="77" x2="949" y1="32" x1="1148" stroke-linecap="null" stroke-linejoin="null" stroke-dasharray="null" stroke-width="2" stroke="#000000" fill="none"/>
  <line id="edge_18" y2="77" x2="949" y1="32" x1="1239" stroke-linecap="null" stroke-linejoin="null" stroke-dasharray="null" stroke-width="2" stroke="#000000" fill="none"/>
  <rect id="node_1" x="768" y="70" width="36" height="15" stroke-linecap="null" stroke-linejoin="null" stroke-dasharray="null" stroke="#000000" fill="#7fff00"/>
  <text x="769" y="84" class="small">puts</text>
  <rect id="node_2" x="809" y="70" width="54" height="15" stroke-linecap="null" stroke-linejoin="null" stroke-dasharray="null" stroke="#000000" fill="#7fff00"/>
  <text x="810" y="84" class="small">fflush</text>
  <rect id="node_3" x="330" y="70" width="126" height="15" stroke-linecap="null" stroke-linejoin="null" stroke-dasharray="null" stroke="#000000" fill="#7fff00"/>
  <text x="331" y="84" class="small">splay_tree_new</text>
  <rect id="node_4" x="25" y="70" width="153" height="15" stroke-linecap="null" stroke-linejoin="null" stroke-dasharray="null" stroke="#000000" fill="#7fff00"/>
  <text x="26" y="84" class="small">splay_tree_delete</text>
  <rect id="node_5" x="476" y="70" width="153" height="15" stroke-linecap="null" stroke-linejoin="null" stroke-dasharray="null" stroke="#000000" fill="#7fff00"/>
  <text x="477" y="84" class="small">splay_tree_insert</text>
  <rect id="node_6" x="873" y="70" width="153" height="15" stroke-linecap="null" stroke-linejoin="null" stroke-dasharray="null" stroke="#000000" fill="#7fff00"/>
  <text x="874" y="84" class="small">splay_tree_lookup</text>
  <rect id="node_7" x="38" y="25" width="126" height="15" stroke-linecap="null" stroke-linejoin="null" stroke-dasharray="null" stroke="#000000" fill="#7fff00"/>
  <text x="39" y="39" class="small">clear_uniqnode</text>
  <rect id="node_8" x="190" y="25" width="135" height="15" stroke-linecap="null" stroke-linejoin="null" stroke-dasharray="null" stroke="#000000" fill="#7fff00"/>
  <text x="191" y="39" class="small">clear_uniqnode2</text>
  <rect id="node_9" x="339" y="25" width="108" height="15" stroke-linecap="null" stroke-linejoin="null" stroke-dasharray="null" stroke="#000000" fill="#7fff00"/>
  <text x="340" y="39" class="small">uniqnode_add</text>
  <rect id="node_10" x="646" y="25" width="117" height="15" stroke-linecap="null" stroke-linejoin="null" stroke-dasharray="null" stroke="#000000" fill="#7fff00"/>
  <text x="647" y="39" class="small">uniqnode_add2</text>
  <rect id="node_11" x="1031" y="25" width="72" height="15" stroke-linecap="null" stroke-linejoin="null" stroke-dasharray="null" stroke="#000000" fill="#7fff00"/>
  <text x="1032" y="39" class="small">uniqnode</text>
  <rect id="node_12" x="1108" y="25" width="81" height="15" stroke-linecap="null" stroke-linejoin="null" stroke-dasharray="null" stroke="#000000" fill="#7fff00"/>
  <text x="1109" y="39" class="small">uniqnode2</text>
  <rect id="node_13" x="1194" y="25" width="90" height="15" stroke-linecap="null" stroke-linejoin="null" stroke-dasharray="null" stroke="#000000" fill="#7fff00"/>
  <text x="1195" y="39" class="small">uniqnodeid</text>
 </g>
</svg>
